Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
6

Analysis of fast and secure protocol based on continuous-time Markov chain

Année:
2013
Langue:
english
Fichier:
PDF, 2.19 MB
english, 2013
25

Model checking workflow net based on Petri net

Année:
2006
Langue:
english
Fichier:
PDF, 430 KB
english, 2006
26

Abstraction for model checking multi-agent systems

Année:
2011
Langue:
english
Fichier:
PDF, 240 KB
english, 2011